Control-Based Program Analysis
نویسندگان
چکیده
We explore a novel approach to higher-order program analysis which combines lazy data propagation with ideas from optimal lambda-reduction to produce a different form of program analysis. This analysis produces only a control-flow graph; we derive all other information (e.g. values of variables) directly from this graph. The resulting analysis is flowand context-sensitive with a provable polynomial-time bound. The analysis is formalized and proved correct and terminating, and an initial implementation is described.
منابع مشابه
Attention-deficit/Hyperactivity, sustained attention, response inhibition, Mindfulness-based socio-emotional Learning, Transcranial Direct Current Stimulation.
This research aimed to compare the effectiveness of mindfulness-based socio-emotional learning program with/and without Transcranial Direct Current Stimulation on sustained attention and response inhibition in children with attention deficit/hyperactivity disorder. This research was a semi-experimental study with a pre-test and post-test design with a control group. The statistical population i...
متن کاملThe effectiveness of Mindfulness-Based Stress Reduction Program on Academic Procrastination and Academic Motivation of female students
The purpose of this study was to investigate the mindfulness-based stress reduction program on academic procrastination and academic motivation of female students. The research method was pretest-posttest with the control group. The statistical population of the study consisted of all female students of the third grade of secondary school in Mashhad during the first half of the first academic y...
متن کاملThe comparison of effectiveness of emotion-focused couple therapy and mindfulness-based stress reduction program on emotional divorce of couples
The purpose of this study was to compare of the effectiveness of emotion-focused couple therapy and mindfulness-based stress reduction program on the emotional divorce of couples. This semi-experimental study was conducted with a pretest-posttest design with a control group and follow-up for two months. The statistical population included all the couples referring to counseling and psychologica...
متن کاملWater quality management of heavily contaminated urban rivers using water quality analysis simulation program
Precisely management of water quality in urban rivers is of significant and water environmental capacity provide a useful tool. This study presented a water quality analysis simulation program model-based approach for dynamical load reduction in Ashi River, highly contaminated tributaries of Songhua River, China. The actual and surplus dynamic environmental capacity of CODCr and NH<s...
متن کاملThe Effectiveness of Psychological Empowerment on the Quality of Life of Mothers of Children with Disabilities Covered by the Community-Based Rehabilitation Program
Introduction: Having a child with a disability can cause stress and pressure on parents and affect their quality of life. This study aimed to investigate the effectiveness of psychological empowerment on the quality of life of mothers of children with disabilities covered by the community-based rehabilitation program. Methods: The research method was experimental. The design of this study was a...
متن کاملاثربخشی آموزش برنامه کاهش استرس مبتنی بر ذهن آگاهی بر شادکامی مادران نوجوان کمتوان ذهنی
The purpose of this study was the effectiveness of the Instruction of Mindfulness-based stress Reduction Program on the Happiness of Mothers Intellectual Disability Adolescent in Kermanshah. The research method was quasi- experimental with time series (pretest, posttest) and control group design. The statistical sample of this research was 30 mothers of intellectual disability adolescent from e...
متن کامل